1. .....................
پدیدآورنده : Knuth, Donald E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
K63
2. ......................
پدیدآورنده : Hellerman, Herbert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
H448
1973
3. ......................
پدیدآورنده : Friedman, Frank L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، FORTRAN )Computer program language(,، Structured programming,Programming ، Electronic digital computers
رده :
QA
76
.
73
.
F25
F74
1981
4. ......................
پدیدآورنده : Katzan, Harry
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Nosa Detected Damaged Record #8858,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
K36
5. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
6. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803
7. A Hierachical associative processing systems
پدیدآورنده : Stuttgen, Heinrich J., 4591-
کتابخانه: (طهران)
موضوع : ، Associative storage,، Programming languages )Electronic computers(,، Computer architecture
رده :
QA
76
.
L28
Vol
.
195
8. A Survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard, 1591-
کتابخانه: (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
9. A book on C
پدیدآورنده : Meekings, B. A. E.)Brian A. E.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، C )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
C15
M43
1993
10. A discipline of multiprogramming : programming theory for distributed applications
پدیدآورنده : Misra, Jayadev
کتابخانه: (طهران)
موضوع : ، Multiprogramming )Electronic computers(
رده :
QA
76
.
6
.
M5
11. A hierarchical associative processing system
پدیدآورنده : Stuttgen, Heinrich J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Associative storage,، Programming languages )Electronic computers(,، Computer architecture
رده :
QA
76
.
L4
v
.
195
12. A modular curriculum in computer science
پدیدآورنده : ]Prepard and witten by the Technical Committee for Education )TC3( of the International Federatioon for information Processing)IFIP(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
M63
13. A practical introduction to denotational semantics
پدیدآورنده : Allison, Lloyd
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
A45
1987
14. A relational theory of computing
پدیدآورنده : Sanderson, John G.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Metamathematics
رده :
QA
76
.
L4
v
.
82
15. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
16. A study in string processing languages
پدیدآورنده : Klint, Paul
کتابخانه: (طهران)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
205
17. A study in string processing languages
پدیدآورنده : Klint, Paul
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
T48
.
K58
1985
18. A study in string processing languages
پدیدآورنده : Klint, Paul.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
205
19. A survey of verification techniques for Parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
20. A survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
